from __clrclasses__.System.Diagnostics.Contracts.Internal import ContractHelper
